Some Reflections on Two Current Trends in Formal Argumentation
نویسنده
چکیده
This paper discusses two recent developments in the formal study of argumentation-based inference: work on preference-based abstract argumentation and on classical (deductive) argumentation. It is first argued that general models of the use of preferences in argumentation cannot leave the structure of arguments and the nature of attack and defeat unspecified. Then it is claimed that classical argumentation cannot model some common forms of defeasible reasoning in a natural way. In both cases it will be argued that the recently proposed ASPIC framework for structured argumentation does not suffer from these limitations. In the final part of the paper the work of Marek Sergot on argumentationbased inference will be discussed in light of the preceding discussion.
منابع مشابه
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
The simulation of mathematical reasoning has been a driving force throughout the history of Artificial Intelligence research. However, despite significant successes in computer mathematics, computers are not widely used by mathematicians apart from their quotidian applications. An oft-cited reason for this is that current computational systems cannot do mathematics in the way that humans do. We...
متن کاملPresent and Future of Formal Argumentation
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw ac...
متن کاملUncertainty and fuzziness: from natural language to argumentation models
Uncertainty and fuzziness pervade natural language both explicitly and implicitly. The explicit presence of uncertainty and fuzziness is exemplified by statements like "I believe that tomorrow will probably be a bit colder than today", while the presence of implicit uncertainty and/or fuzziness can be referred to background domain knowledge, e.g. in the statement "Tomorrow will be rainy because...
متن کاملOn Natural Language Generation of Formal Argumentation
In this paper we provide a first analysis of the research questions that arise when dealing with the problem of communicating pieces of formal argumentation through natural language interfaces. It is a generally held opinion that formal models of argumentation naturally capture human argument, and some preliminary studies have focused on justifying this view. Unfortunately, the results are not ...
متن کاملSome design guidelines for practical argumentation systems
We give some design guidelines for argumentation systems. These guidelines are meant to indicate essential features of argumentation when used to support “practical reasoning”. We express the guidelines in terms of postulates. We use a notion of redundancy to provide a formal counterpart of these postulates. We study the satisfaction of these postulates in two existing argumentation frameworks:...
متن کامل